Specification Based Software Product Line Testing: A case study
نویسنده
چکیده
In this paper, we describe an approach of software product line testing which is based on formal specifications of the desired properties. In a software product line, common behaviours are maintained at subsequent levels of the product development. Commonalities among products arise from the reuse of parts of the software. It is unclear, however, in which way test cases for one product can be reused for subsequent enhancements. In this paper we approach this problem by specification based testing. We start the software quality assurance process by formally specifying the system in the process algebraic specification language CSP-CASL [1] for the description of system properties. After that we establish an enhancement relation between specifications in a software product line development. This enhancement relation conceptually forms the basis of reusability of test suites among different implementations in a product line development.
منابع مشابه
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements
Use Cases can be employed in system requirements engineering to capture requirements from an external point of view. In product line modeling, commonalities and variabilities of a family of systems have to be described. To this purpose, we have defined extensions and modifications of the Use Cases notation, called Product Line Use Cases (PLUCs). In order to guarantee the conformance of the deri...
متن کاملSpecification-based Testing for Software Product Lines
In this paper, we develop a testing theory for specification-based software product line development. Starting with a framework for the evaluation of test cases with respect to formal specifications, we develop a notion of enhancement, which allows to re-use test cases in a horizontal systems development process. In such a process, more and more features are added to an existing software produc...
متن کاملSoftware product lines: a case study
A software product line is a family of products that share common features to meet the needs of a market area. Systematic processes have been developed to dramatically reduce the cost of a product line. Such product-line engineering processes have proven practical and effective in industrial use, but are not widely understood. The Family-Oriented Abstraction, Specification and Translation (FAST...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملRepresenting Variability in Product Lines: A Survey of Modeling and Specification Techniques
Software product lines are increasingly used to develop safety-critical and missioncritical systems. To reason about the correctness of product lines, researchers have developed special testing techniques and adapted formal verification techniques such as model checking and theorem proving to the requirements of software product lines. Existing research has focused on the strategies to enable e...
متن کامل